1![The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral and Irina Dragoste and Markus Kr¨otzsch Center for Advancing Electronics Dresden (cfaed), TU Dresden, Germany Abstr The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral and Irina Dragoste and Markus Kr¨otzsch Center for Advancing Electronics Dresden (cfaed), TU Dresden, Germany Abstr](https://www.pdfsearch.io/img/7b88c0c931a11f168d48b35b23ab2b7e.jpg) | Add to Reading ListSource URL: iccl.inf.tu-dresden.deLanguage: English - Date: 2018-06-15 10:32:34
|
---|
2![Efficient CTL Verification via Horn Constraints Solving Tewodros A. Beyene 1 fortiss GmbH, Munich, Germany joint work with C. Popeea 2 and A. Rybalchenko 3 Efficient CTL Verification via Horn Constraints Solving Tewodros A. Beyene 1 fortiss GmbH, Munich, Germany joint work with C. Popeea 2 and A. Rybalchenko 3](https://www.pdfsearch.io/img/376c391a9070455218eacd07d3c9d872.jpg) | Add to Reading ListSource URL: hcvs2016.it.uu.se- Date: 2016-04-11 10:20:41
|
---|
3![Ad-Hoc Query on asylum proceeding and returns to Somalia Requested by FI EMN NCP on 31st March 2015 Compilation produced on 9th of June Responses from Austria, Belgium, Czech Republic, Estonia, Finland, France, Germany, Ad-Hoc Query on asylum proceeding and returns to Somalia Requested by FI EMN NCP on 31st March 2015 Compilation produced on 9th of June Responses from Austria, Belgium, Czech Republic, Estonia, Finland, France, Germany,](https://www.pdfsearch.io/img/b5b9f652f9d71bde125e4738de6e797b.jpg) | Add to Reading ListSource URL: ec.europa.euLanguage: English - Date: 2015-06-15 11:55:12
|
---|
4![Complexities of Horn Description Logics MARKUS KRÖTZSCH Department of Computer Science, University of Oxford, United Kingdom SEBASTIAN RUDOLPH Institute AIFB, Karlsruhe Institute of Technology, Germany and Complexities of Horn Description Logics MARKUS KRÖTZSCH Department of Computer Science, University of Oxford, United Kingdom SEBASTIAN RUDOLPH Institute AIFB, Karlsruhe Institute of Technology, Germany and](https://www.pdfsearch.io/img/06cfe9b5b86b66399ea23be3fd8f466c.jpg) | Add to Reading ListSource URL: tocl.acm.org- Date: 2012-01-26 05:37:50
|
---|
5![Water / Music / Sound / Piping / Bass / Horn / Tubing / Pipe / Trombone / Plumbing / Brass instruments / Irrigation Water / Music / Sound / Piping / Bass / Horn / Tubing / Pipe / Trombone / Plumbing / Brass instruments / Irrigation](/pdf-icon.png) | Add to Reading ListSource URL: www.hornarama.comLanguage: English - Date: 2015-02-04 04:47:38
|
---|
6![Cambridge University Press[removed]9 - Absolutism and the Eighteenth-Century Origins of Compulsory Schooling in Prussia and Austria James Van Horn Melton Excerpt More information Cambridge University Press[removed]9 - Absolutism and the Eighteenth-Century Origins of Compulsory Schooling in Prussia and Austria James Van Horn Melton Excerpt More information](https://www.pdfsearch.io/img/599291dce187e31a79c0ff54544faa7e.jpg) | Add to Reading ListSource URL: assets.cambridge.orgLanguage: English - Date: 2013-02-23 10:30:30
|
---|
7![Waltemath, Joan.
Waltemath, Joan.](https://www.pdfsearch.io/img/8f19f3819c1479d35e33827611b74479.jpg) | Add to Reading ListSource URL: prod-images.exhibit-e.comLanguage: English - Date: 2014-03-18 13:27:55
|
---|
8![ORGANIZATION AND EVALUATION OF PTS FOR THE DETERMINATION OF VOC-EMISSIONS FROM MATERIALS IN EMISSION TEST CHAMBERS Olaf Wilke and Wolfgang Horn BAM Federal Institute for Materials Research and Testing, Berlin, Germany IN ORGANIZATION AND EVALUATION OF PTS FOR THE DETERMINATION OF VOC-EMISSIONS FROM MATERIALS IN EMISSION TEST CHAMBERS Olaf Wilke and Wolfgang Horn BAM Federal Institute for Materials Research and Testing, Berlin, Germany IN](https://www.pdfsearch.io/img/02fe0b1a3dc535901296265f183229de.jpg) | Add to Reading ListSource URL: www.eurachempt2014.deLanguage: English - Date: 2014-10-13 07:29:56
|
---|
9![Genealogy Center 4210 Main St. – PO Box 249, Elk Horn IA[removed]A Thumbnail Guide to Beginning Your Research for Danish Immigrant Ancestors Work backwards. Collect as much information as possible on the children of your Genealogy Center 4210 Main St. – PO Box 249, Elk Horn IA[removed]A Thumbnail Guide to Beginning Your Research for Danish Immigrant Ancestors Work backwards. Collect as much information as possible on the children of your](https://www.pdfsearch.io/img/aeccb7ea348aa794ddd0dd9760704657.jpg) | Add to Reading ListSource URL: www.danishmuseum.orgLanguage: English - Date: 2014-02-04 13:02:12
|
---|